nested quantifier definition